Call for papers

Computing Journal (Springer) Special Issue on Dependable Computing – Theory and Practice

As the use of computer systems, and their software, have become wide spread in the modern society, the dependability, safety, security and resilience of such systems has become paramount. More significantly is the interplay between some of these properties, like safety and security. Modern applications and emergent systems are pushing the boundaries of what can be achieved in terms of assurances. Such challenges are not restricted to building isolated and well scoped systems. New challenges and vulnerabilities emerge when interconnecting these systems in unforeseen and unbridle ways. From the societal point of view, most of the applications take dependability and security for granted since it is something that is not directly tangible. However, in order to achieve these expectations, the dependability community has to come up with novel ingenious theories, methods and techniques for designing, building and evaluating systems supporting emerging applications.
This special edition is an opportunity for the dependability community to make the wider computing research community aware of the latest advances in the field, and the rigour that is necessary in order to assure the dependability and security of these systems.

This special issue expects high quality submissions covering a broad range of topics involving dependability and security, which includes, but is not limited to:

• Hardware and software architecture of dependable systems
• Dependable virtualisation
• VLSI dependability
• Dependability modelling and tools
• Testing and validation methods
• Fault-tolerant networks and protocols
• Dependability benchmarking
• Interplay between safety and security
• Critical infrastructure protection
• Safety critical systems
• Embedded and real-time systems
• Cyber-physical systems
• Cloud computing
• Dependable mobile and multimedia systems
• Autonomic and self-adaptive systems
• Socio-technical systems
• Intrusion-tolerant systems
• Dependable and secure support for data analytics

Paper selection notification: 15 June 2017
Paper submission: 1 September 2017
Author notification: 15 December 2017
Camera ready: 26 January 2018
Special issue: May 2018
Dr Rogério de Lemos
University of Kent, UK
Email: r.delemos@kent.ac.uk
URL: https://www.cs.kent.ac.uk/people/staff/rdl/
Papers submitted to this special issue for possible publication must not be previously published or be currently under consideration for publication elsewhere. Previously accepted EDCC 2017 conference papers must contain at least 30% new material to be considered for the special issue.
All papers are refereed through a peer review process. All manuscripts must be prepared according to the journal publication guidelines which can be found on the website http://www.springer.com/computer/journal/607. The paper page limit (strict) is 20 pages. Paper that will not follow journal formatting will not be considered for review.
The submission of papers should be online (https://www.editorialmanager.com/comp/ at “Special Issue: DependableComputing”).
For further questions or inquiries, please contact the corresponding Guest Editor Dr Rogério de Lemos.